COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	AXIOM
C00004 ENDMK
C⊗;
AXIOM
AONTOP
NIL
NIL
NIL
BOX(X3);BOX(X2);ROBOT(X1);ON(X1,X2);¬STACKED(X3,X2);;
ONTOP(X1);;

OP
STANDON(R1,Z1)
NIL
NIL
NIL
ROBOT(R1);BOX(Z1);AT(Z1,Y1);AT(R1,Y1);;
ON(R1,Z1);;

OP
STEPUP(X1,Y1,Z1)
NIL
NIL
NIL
BOX(Y1);BOX(Z1);ROBOT(X1);STACKED(Z1,Y1);ON(X1,Y1);;
ON(X1,Z1);;

ITERATIVE
ITONTOP
NIL NIL NIL
ROBOT(X1);BOX(X2);ON(X1,X2);;
ROBOT(X1);BOX(X3);BOX(X4);ON(X1,X3);STACKED(X4,X3);;
ON(X1,X4);;
NIL
ONTOP(X1);;
ONTOP(X1);;

NIL 
NIL
 AT(M,L);
AT(B1,L);STACKED(B3,B2);STACKED(B2,B1);BOX(B1);BOX(B2);
BOX(B4);STACKED(B4,B3);
BOX(B3);ROBOT(M);;

T
((ROBOT NIL NIL NIL NIL)
(AT T NIL NIL (X,*))
(STACKED T NIL NIL (X,*))
(BOX NIL NIL NIL NIL)
(ONTOP T NIL NIL NIL)
(ON T NIL NIL (X,*)))
NIL